Idrisのパターンマッチ、with, view